Author facet: Gödel, Kurt - ECU Libraries Catalog Search Results

Clear Search

You searched for: Author facet Gödel, Kurt

1 - 7 of 7

The P=NP question and Gödel's lost letter
by Lipton, Richard J.
2010
Format: Electronic and Book

✔ Available

Call Number: Multiple Online Resources Available

Mathematical logic and its applications
by Advanced International Summer School and Conference on Mathematical Logic and Its Applications (1986 : Druzhba, Varna, Bulgaria)
1987
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.A1 A38 1986

Collected works
by Gödel, Kurt
1986
Format: Book and Print

✔ Available View 2 Items

Library	Location	Call Number	Status
Joyner	General Stacks	QA9 .G5313 1986 V.1	✔ Available
Joyner	General Stacks	QA9 .G5313 1986 V.2	✔ Available

Frege and Gödel ; two fundamental texts in mathematical logic
by Van Heijenoort, Jean, 1912-1986
1970
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9.V28

Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Gödel
1969
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9 .F58

On formally undecidable propositions of Principia mathematica and related systems
by Gödel, Kurt
1962
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA248 .G573X 1962

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
by Gödel, Kurt
1940
Format: Book and Print

✔ Available Joyner - General Stacks

Call Number: QA9 .G54